-
1 calcul des propositions
-
2 calcul propositionnel
-
3 propositionnel
propositionnel, - elle adj propositional.( féminin propositionnelle) [prɔpozisjɔnɛl] adjectif -
4 proposition
proposition [pʀɔpozisjɔ̃]feminine nouna. ( = suggestion) proposalb. ( = phrase) clause* * *pʀɔpozisjɔ̃1) ( suggestion) suggestion2) ( offre) proposalfaire des propositions à quelqu'un — euph to proposition somebody
3) Linguistique clause•Phrasal Verbs:* * *pʀɔpozisjɔ̃ nf1) (= offre) offer, proposalJ'accepte ta proposition avec plaisir. — I'll be happy to accept your offer.
J'ai une proposition à vous faire. — I have a proposal to make to you.
2) POLITIQUE proposalsur proposition de; sur la proposition de — proposed by, following a proposal by
3) LINGUISTIQUE clause* * *A nf1 ( suggestion) suggestion;2 ( offre) offer, proposal; faire des propositions concrètes to make concrete proposals; proposition technique/commerciale technical/business proposal;3 ( soumis à l'approbation) proposal; sur (la) proposition du maire at the mayor's instigation; proposition de loi ≈ bill;4 Philos proposition;5 Ling clause; proposition principale/subordonnée/relative main/subordinate/relative clause.B nfpl faire des propositions à qn to proposition sb.[prɔpozisjɔ̃] nom féminin1. [suggestion] suggestionquelqu'un a-t-il une autre proposition à faire? has anyone any other suggestion ou anything else to suggest?2. [offre] offer4. [recommandation] recommendation5. POLITIQUEproposition consécutive ou de conséquence consecutive ou result clauseWould you like me to call him for you? Tu veux que je l'appelle?If you don't mind ou If it's no trouble. Je veux bien, si ça ne vous dérange pasThanks, but I'd rather do it myself. Merci, mais je préfère le faire moi-mêmeIs there anything I can do to help? Est-ce que je peux faire quelque chose?That's very kind of you. Oui, merci, c'est très gentilNo thanks, I'm fine/I can manage. Non, merci, ça va aller/je vais y arriverWhy don't you let us look after him while you're away? Vous ne voulez pas qu'on s'occupe de lui pendant votre absence ?Are you sure you don't mind? Vous êtes sûrs que ça ne vous dérange pas ?No, really, I'll be fine. Non, ça va aller, je vous assureWhat if I tell him? Et si je le lui disais ?Would you mind? Ça ne te dérange pas ?Thanks for offering, but I'd better do it myself. C'est gentil, mais il vaut mieux que je le fasse moi-mêmeYou can stay at my flat for a few days, if you like. Vous pouvez loger chez moi pendant quelques jours, si vous voulezThanks, it's very generous of you to offer. Merci, c'est très gentil de ta partThanks, but we've already got somewhere to stay. Merci, mais nous avons déjà trouvé un endroit
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
propositional calculus — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… … Philosophy dictionary
propositional calculus — noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus … New Collegiate Dictionary
propositional calculus — noun propositional logic … Wiktionary
propositional calculus — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional calculus — proposi′tional cal′culus n. math. pho sentential calculus • Etymology: 1900–05 … From formal English to slang
propositional calculus — /prɒpəˌzɪʃənəl ˈkælkjələs/ (say propuh.zishuhnuhl kalkyuhluhs) noun that part of modern logic which systematises the relations between unanalysed propositions …
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
implicational propositional calculus — noun A minimalist version of propositional calculus which uses only the logical connectives ( implies ) and ( false ) … Wiktionary